IAbMonoid $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\{$g$:IMonoid$\mid$ Comm($\mid$$g$$\mid$;$\ast$)\}